Jump to Navigation

Verification of dynamic data tree with mu-calculus extended with separation

TitleVerification of dynamic data tree with mu-calculus extended with separation
Publication TypeConference Paper
Year of Publication2010
AuthorsGallardo, M-del-M., and D. Sanán
Conference NameProceedings of software engineering and formal methods. SEFM 2010. 14-18 september 2010, Pisa, Italy
Date Publishednov
PublisherIEEE Computer Society
Conference LocationLos Alamitos, CA
ISBN Number978-0-7695-4153-2


Main menu 2

Biblio | by Dr. Radut