Lingva: Generating and Proving Program Properties Using Symbol Elimination

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-662-46823-4_6 ◽

2015 ◽

pp. 67-75 ◽

Cited By ~ 2

Author(s):

Ioan Dragan ◽

Laura Kovács

Download Full-text