Maier, Patrick Programming Logics, MPI for Informatics, Max Planck Society;
2003-2-001 (Any fulltext), 10KB
Maier, P.(2003). Compositional circular assume-guarantee rules cannot be sound and complete (MPI-I-2003-2-001). Saarbrücken: Max-Planck-Institut für Informatik.