Jaelson F. B. Castro, Christian J. Gautreau, Marco A. Toranzo. Tool support for requirements formalisation. In Alexander L. Wolf, Anthony Finkelstein, George Spanoudakis, Laura Vidal, editors, Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, ISAW '96, San Francisco, California, USA. pages 202-206, ACM, 1996. [doi]
Abstract is missing.