Original language | English |
---|---|
Title of host publication | Proc. of the Fourth Inter. Joint Conf. on the Theory and Practice of Software Development (TAPSOFT), LNCS 493 |
Publication status | Published - 1991 |
Program specification and data refinement in type theory
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution