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}, }