المؤلفون: Lidström, Christian

المساهمون: Gurov, Dilian, 1964, Balliu, Musard, Beckert, Bernhard, Professor

المصدر: TRITA-EECS-AVL.

مصطلحات موضوعية: software sontracts, contract-based design, formal verification, deductive verification, contract inference, program instrumentation, embedded software, embedded systems, Frama-C, Datalogi, Computer Science

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-343807
https://kth.diva-portal.org/smash/get/diva2:1840268/FULLTEXT01.pdf