Modular Construction of Logics for Specification. Conferences uri icon

  •  
  • Overview
  •  

publication date

  • 1986

published in

  • ADT  Journal