Web-based Collaborative Model for Preparing Formal Software Specifications.

Mohammed Sullabi, Zarina Shukur

Browse the full IIWAS paper archive.