When is 'partial' adequate? A logic-based proof technique using partial specifications

(1990) [Beitrag zu einem Tagungsband]

Proceedings 5. Annual Sympos. on Logic in Comput. Sci. 90. 1990
Seite(n): 440-450

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Cleaveland, R.
Steffen, B.

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-191247