DMCA

Formal methods: Practice and experience

by Jim Woodcock , Peter Gorm Larsen , Juan Bicarregui , John Fitzgerald
Venue:ACM Comput. Surv
Citations:76 - 6 self