1 research outputs found
Institutions: abstract model theory for specification and programming
- Author
- ABRIAL J.-R.
- AUBIN R.
- BEIERLE C.
- BENABOU J.
- BOYER R.
- BURSTALL R
- BURSTALL R.
- BURSTALL R.
- BURSTALL R.
- BURSTALL R.
- BURSTALL R.
- CARTHY J
- CLARK K.
- CO N P
- COTT D.
- EHRIG H
- EHRIG H.
- EHRIG H.
- FIADEIRO J.
- FIADEIRO J.
- FUTA Cl K
- GABRIEL P.
- GOC UEN
- GOC~UEN J
- GOGUEN J.
- GOGUEN J.
- GOGUEN J.
- GOGUEN J.
- GOGUEN J.
- GOGUEN J.
- GOGUEN J.
- GOOUEN J
- GOOUEN J.
- GOQUEN J.
- GO~UEN J.
- GO~UF N
- H.
- HARPWR R.
- J.
- Joseph A. Goguen
- LAMBE~
- LAWVERE F.W
- LAWVERE F.W
- LOWRY M.
- MA JEEN
- MAHR B.
- MAHR B.
- MESE UER
- MESEC~UER J.
- MESE~UER J.
- N~ A.
- OREJAS F.
- PARSAYE-GHOMI K.
- REITER R
- RHC EL H
- Rod M. Burstall
- SANNE
- SANNELLA D.
- SCOTT D.
- SERNADAS A.
- TARLECKI A
- TARLECKI A.
- TRACZ W J
- WIRSINC M.
- WIRSTNG M
- WRIGHT J
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study