Login / Signup

Inferring Executable Models from Formalized Experimental Evidence.

Vivek NigamRobin DonaldsonMerrill KnappTim McCarthyCarolyn L. Talcott
Published in: CMSB (2015)
Keyphrases