Period of time： 2013年3期
Publisher： Springer Publishing Company
Founded in： 1992
Total resources： 27
ISSN： 0925-9856
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Formal Methods in System Design,volume 27,issue 3
Menu
By Havelund Klaus,Roşu Grigore in (2005)
Formal Methods in System Design,volume 27,issue 3 , Vol. 27, Iss. 3, 2005-11 , pp.
Access to resources
Recommend
By Bhargavan Karthikeyan,Gunter Carl in (2005)
Formal Methods in System Design,volume 27,issue 3 , Vol. 27, Iss. 3, 2005-11 , pp.Collecting Statistics Over Runtime Executions
By Finkbeiner Bernd,Sankaranarayanan Sriram,Sipma Henny in (2005)
Formal Methods in System Design,volume 27,issue 3 , Vol. 27, Iss. 3, 2005-11 , pp.jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation
By Karaorman Murat,Abercrombie Parker in (2005)
Formal Methods in System Design,volume 27,issue 3 , Vol. 27, Iss. 3, 2005-11 , pp.Using Static Analysis to Reduce Dynamic Analysis Overhead
By Yong Suan,Horwitz Susan in (2005)
Formal Methods in System Design,volume 27,issue 3 , Vol. 27, Iss. 3, 2005-11 , pp.Translation and Run-Time Validation of Loop Transformations
By Zuck Lenore,Pnueli Amir,Goldberg Benjamin,Barrett Clark,Fang Yi,Hu Ying in (2005)
Formal Methods in System Design,volume 27,issue 3 , Vol. 27, Iss. 3, 2005-11 , pp.