Media type: E-Book; Conference Proceedings Title: Conference proceedings on Formal methods in software development Contributor: Moriconi, Mark [Author] Corporation: Association for Computing Machinery ; ACM Special Interest Group on Software Engineering imprint: New York, NY: ACM, 1990 Published in: ACM Digital Library ACM Conferences Extent: Online-Ressource (1 online resource (149 pages)) Language: English DOI: 10.1145/99569 ISBN: 0897914155 Identifier: Keywords: Computer science ; Software ; Computing Methodologies ; Computer Applications ; Language types ; Formal language definitions ; Formal languages and automata theory ; Konferenzschrift Reproductino series: Association for Computing Machinery-Digital Library Origination: Footnote: Title from The ACM Digital Library