Login / Signup

Formal Verification of Semistructured Data Models in PVS.

Scott Uk-Jin LeeGillian DobbieJing SunLindsay Groves
Published in: J. Univers. Comput. Sci. (2009)
Keyphrases