Reassessing JML's Logical Foundation (2005)

Cached

Download Links

by Patrice Chalin
Venue:In Proceedings of the 7th Workshop on Formal Techniques for Java-like Programs (FTfJP'05
Citations:4 - 3 self