Login / Signup

Two-dimensional software development model combining object-oriented method with formal method.

Xiaodong YuanJiajun ChenGuoliang Zheng
Published in: ACM SIGSOFT Softw. Eng. Notes (1998)
Keyphrases