A sip of the Chalice

Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs - FTfJP '11 ◽

10.1145/2076674.2076676 ◽

2011 ◽

Cited By ~ 1

Author(s):

Azalea Raad ◽

Sophia Drossopoulou

Download Full-text