"Formal Program Verification."

Heather K. Harton, Murali Sitaraman, Joan Krone (2008)

Details and statistics

DOI: 10.1002/9780470050118.ECSE331

access: closed

type: Part in Book or Collection

metadata version: 2017-05-16