Ali Mili, Jules Desharnais
A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods
ICSE, 1984.
@inproceedings{ICSE-1984-MiliD,
acmid = "802010",
author = "Ali Mili and Jules Desharnais",
booktitle = "{Proceedings of the Seventh International Conference on Software Engineering}",
editor = "Terry A. Straeter and William E. Howden and Jean-Claude Rault",
isbn = "0-8186-0528-6",
pages = "499--509",
publisher = "{IEEE Computer Society}",
title = "{A System for Classifying Program Verification Methods: Assigning Meanings to Program Verification Methods}",
year = 1984,
}