| Document Date: 2014-05-27 20:45:29 Open Document File Size: 189,06 KBShare Result on Facebook
City Oppen / / / Facility University of Freiburg / / IndustryTerm software model checking / software model checker / / MarketIndex TA / / Organization Transregional Collaborative Research Center / Department of Computer Science / German Research Council / University of Freiburg / / Person Jochen Hoenicke / Christ Hoenicke / / Position representative / / ProgrammingLanguage J / / ProvinceOrState Massachusetts / / PublishedMedium Complex Systems / /
SocialTag |