Login / Signup

Semi-Automatic Program Construction From Specifications Using Library Modules.

Fujio NishidaShinobu TakamatsuYoneharu FujitaTadaaki Tani
Published in: IEEE Trans. Software Eng. (1991)
Keyphrases