DocumentCode

1401057

Title

Special issues for fm ´99: the first world congress on formal methods in the development of computing systems

Author

Wing, Jeanette M. ; Woodcock, Jim

Author_Institution

Carnegie Mellon University

Volume

26

Issue

8

fYear

2000

fDate

8/1/2000 12:00:00 AM

Firstpage

673

Lastpage

674

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/TSE.2000.879806

Filename

879806