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

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering 2000-08, Vol.26 (8), p.673-674
Main Authors: Wing, J.M., Woodcock, J.
Format: Article
Language:English
Subjects:
Computer engineering
Computer science
Smart cards
Software engineering
Systems design
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.2000.879806