The Community for Technology Leaders
Green Image
ABSTRACT
<p>No abstrat available.</p>
INDEX TERMS
CITATION

N. Leveson, "Guest Editor's Introduction: Formal Methods in Software Engineering," in IEEE Transactions on Software Engineering, vol. 16, no. , pp. 929-931, 1990.
doi:10.1109/TSE.1990.10003
94 ms
(Ver 3.3 (11022016))