Verification of Dynamic Data Tree with mu-calculus Extended with Separation.

Mara-del-Mar Gallardo, David Sann

Browse the full SEFM paper archive.