ProgSpec

Workshop on Program Specification

Search within this conference

Search

1. 1981

   ProgSpec 1981

   • 4-7 August
   • Aarhus, Denmark

   • Program Specification

     27 Papers

     1 Volume