Mark G. Staskausas
- Personal Homepage
- Publication period start
- Publication period end
- Number of co-authors
Number of publications with favourite co-authors
Most productive colleagues in number of publications
Staskausas, Mark G. (1996): An Experience in the Formal Verification of Industrial Software. In Communications of the ACM, 39 (12) pp. 256-272.