DMCA

Type abstractions of name-passing processes (2007)

by Lucia Acciai , Michele Boreale
Venue:In Proceedings of IPM International Symposium on Fundamentals of Software Engineering (FSEN
Citations:4 - 1 self