Title: FME '97, industrial applications and strengthened foundations of formal methods
First published: 1997
Subjects: Methodology, Congresses, System design, Mathematical theory of computation, Programming - Software Development, Software Engineering, Systems Engineering, Computers, Computers - Languages / Programming, Science/Mathematics
LC classification: QA76.9.S88 I577 1997