DMCA

Reasoning about method calls in JML specifications (2005)

Cached

Download Links

by Ádám Darvas , Peter Müller
Venue:Proceedings of the Seventh Workshop on Formal Techniques for Java-like Programs (FTfJP
Citations:18 - 1 self