BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.

@Proceedings{ moriconi, title = "Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development ", year = "1990", month = "May 9-11", editor = "Mark Moriconi", organization = "ACM Special Interest Group on Software Engineering (ACM SIGSOFT)", publisher = "ACM Press", volume = "15", }