DMCA

SC(R)³: Towards Usability of Formal Methods (1998)

by Marsha Chechik
Venue:IN PROCEEDINGS OF CASCON'98
Citations:7 - 3 self