Mark G. Staskausas

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1996
Publication period end
1996
Number of co-authors
0

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Staskausas, Mark G. (1996): An Experience in the Formal Verification of Industrial Software. In Communications of the ACM, 39 (12) pp. 256-272.