VERIFAS: A Practical Verifier for Artifact Systems

Yuliang Li
Yuliang Li

CoRR, Volume abs/1705.10007, 2017.

Cited by: 1|Bibtex|Views7|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments