On Verification of Programs With Goto Statements

From Tetherless World Wiki

Jump to: navigation, search
 On Verification of Programs With Goto Statements
Has publishing details  18(4):221-225, 1984
Has title  On Verification of Programs With Goto Statements
Has where published  Inf. Process. Lett.
Has year  1984
Has author  Vladimir Lifschitz +
Has identifier  DBLP:journals/ipl/Lifschitz84 +
Categories  Journal Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools