2 |
| Marcinkowski, Jerzy (ed.) |
| |
| | 2001 | [Ball, Thomas]
Podelski, Andreas
[Rajamani, Sriram K.] | Margaria, Tiziana
Yi, Wang | | Boolean and Cartesian Abstraction for Model Checking C Programs
In: Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2001), 268-283 | Proceedings Article | |
| | 1996 | Ayari, Abdelwaheb
Basin, David A. | Margaria, Tiziana
Steffen, Bernhard | | Generic System Support for Deductive Program Development
In: Second International Workshop, TACAS'96: Tools and Algorithms for the Construction and Analysis of Systems, 313-328 | Proceedings Article | |