Home
People
People on the agenda
New added biographies
Most Read biographies
Born today People
Died today People
Advanced Search
Contact
International Symposium On Programming: . . .
Book
Share This Page
Use attributes for filter !
Originally published
1982
Date of Reg.
2019-12-29 14:40:03
Date of Upd.
2021-11-20 19:03:15
ID
2175738
Send edit request
Life Story
News
Comments
News Detail
About International Symposium On Programming: . . .
Related Persons
Computer Aided Verification
Book by Orna Grumberg
Symbolic Model Checking
Book by Kenneth L. McMillan
Temporal logic of programs
Book by Fred Kröger
Specification and Verification of Concurrent Systems
Book
Next Profile ❯