Verification in the large via symbolic approximation
- Breuer, P.T.
- Pickin, S.
Aktak:
Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
ISBN: 9780769530710
Argitalpen urtea: 2006
Orrialdeak: 408-415
Mota: Biltzar ekarpena