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, Sanán D
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