The Community for Technology Leaders
Green Image
ABSTRACT
<p>No abstrat available.</p>
INDEX TERMS
CITATION
N.G. Leveson, "Guest Editor's Introduction: Formal Methods in Software Engineering", IEEE Transactions on Software Engineering, vol. 16, no. , pp. 929-931, September 1990, doi:10.1109/TSE.1990.10003
94 ms
(Ver )