Model checking and abstract interpretation as building blocks of advanced program analysis techniques: Selected papers from TACAS 2009
Date
2013Author
Kowalewski, S.Philippou, Anna
Brauer, J.
ISSN
1433-2779Source
International Journal on Software Tools for Technology TransferVolume
15Issue
4Pages
287-289Google Scholar check