bib for "formal methods"
- @article{ProvingtheCorrectness:Lamport:@TSE77,
author = {Lamport, L.},
title = {Proving the Correctness of Multiprocess Programs},
journal = {IEEE Trans. Softw. Eng.},
issue_date = {March 1977},
volume = {3},
number = {2},
month = mar,
year = {1977},
pages = {125--143},
numpages = {19},
publisher = {IEEE Press},
}