ArticlesFormal Specification and Verification of Complex Systems1
Under a Creative Commons license
open access
Cited by (0)
- 1
Work partially founded by Miur projectSP4.
Copyright © 2003 Published by Elsevier B.V.