By Podelski A.   Smolka G.   in Theoretical Computer Science

ISSN:0304-3975|173|1|235-252

Elsevier‎(1997)‎

Access to resources Favorite 11.599737

By Charatonik W.   Podelski A.   in Information and Computation

ISSN:0890-5401|179|2|213-229

Academic Press‎(2002)‎

Access to resources Favorite 11.599737

By Jensen Kurt   Podelski Andreas   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|8|3|177-179

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 2.4017768