Collaborated with:
H.Bagheri M.B.Cohen
Talks about:
evolutionari (1) approach (1) specif (1) analyz (1) alloy (1)
Person: Jianghao Wang
DBLP: Wang:Jianghao
Contributed to:
Wrote 1 papers:
- ASE-2018-WangBC #alloy #approach #specification
- An evolutionary approach for analyzing Alloy specifications (JW, HB, MBC), pp. 820–825.