"Modal logic as a design notation" (1998) Areces, C.;Felder, M.;Hirsch, D. (...)ACM Special Interest Group on Software Engineering (SIGSOFT) 9th International Workshop on Software Specification and Design, IWSSD 1998:150-152
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400