Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA - Language - Document - PDFSEARCH.IO

First Page	Meta Content
	Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Add to Reading List Document Date: 2017-08-22 15:37:59 Open Document File Size: 313,97 KB Share Result on Facebook

Runtime Verification Logics A Language Design Perspective Klaus Havelund1? and Giles Reger2?? 1 Jet Propulsion Laboratory, California Inst. of Technology, USAAdd to Reading List