PDF-IEEE TRANSACTIONS ON SOFTWARE ENGINEERING VOL
SE3 NO 2 MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT AbstractThe inductive assertion method is generalized to permit formal machineverifiable
Download Presentation
Download Note : "IEEE TRANSACTIONS ON SOFTWARE ENGINEERING VOL" is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.