BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
Y.Li J.P.0001
Talks about:
parameter (1) automat (1) verif (1) learn (1) tool (1) base (1) cmp (1)

Person: Jialun Cao

DBLP DBLP: Cao:Jialun

Contributed to:

ASE 20182018

Wrote 1 papers:

ASE-2018-CaoLP #automation #named #verification
L-CMP: an automatic learning-based parameterized verification tool (JC, YL, JP0), pp. 892–895.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.