Title of article
Addressing the shortcomings of traditional formal reasoning methods for concurrent programs: New tools and techniques for source code correctness
Author/Authors
Robert J. Shaw، نويسنده , , Ronald A. Olsson، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1998
Pages
17
From page
259
To page
275
Keywords
Programmingenvironments , formal methods , Code reasoning , Software engmeenng
Journal title
Information Sciences
Serial Year
1998
Journal title
Information Sciences
Record number
175804
Link To Document