Lista de

9th International Workshop on Software Specification and Design, IWSSD 1998
1
1998
1
"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