Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Formal Methods for Components and Objects
Home
Publications
Formal Methods for Components and Objects
Formal Methods for Components and Objects
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 2007
book
conference paper
Published by
Springer Science and Business Media LLC
https://doi.org/10.1007/978-3-540-74792-5
Abstract
No abstract available
Keywords
FORMAL METHOD
MODEL CHECKING
MODELING
OBJECT
PROGRAMMING
PROGRAMMING LANGUAGE
VERIFICATION
Cited by 3 articles