Toward Practical Application of Formal Methods in Software Lifecycle Processes.

Mario Tokoro

Browse the full ICFEM paper archive.