DMCA

From process algebra to java code (2002)

by Andrew Phillips , Susan Eisenbach , Daniel Lister
Venue:In ECOOP Workshop on Formal Techniques for Java-like Programs
Citations:4 - 4 self