Research graph
References from Beyond Preconditions and Postconditions: Frame Specifications for Modern Design by Contract. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1145/3611643.3616247
10.1145/3611643.3616247 · External reference
10.1007/978-3-319-12154-3_4
10.1007/978-3-319-12154-3_4 · External reference
10.1145/3540250.3560879
10.1145/3540250.3560879 · External reference
10.1007/11804192_17
10.1007/11804192_17 · External reference
10.1007/978-3-540-30569-9_3
10.1007/978-3-540-30569-9_3 · External reference
10.1145/3470569
10.1145/3470569 · 2021 · External reference
Unresolved reference
2007 · External reference
10.1109/icse.1993.346034
10.1109/icse.1993.346034 · External reference
10.1109/32.469035
10.1109/32.469035 · 1995 · External reference
Unresolved reference
2016 · External reference
10.1007/s10009-004-0167-4
10.1007/s10009-004-0167-4 · External reference
10.1109/iri.2014.7051913
10.1109/iri.2014.7051913 · External reference
10.1007/11804192_16
10.1007/11804192_16 · External reference
10.1002/spe.649
10.1002/spe.649 · External reference
10.5220/0012786600003753
10.5220/0012786600003753 · External reference
10.5220/0013578400003964
10.5220/0013578400003964 · External reference
10.1145/286936.286947
10.1145/286936.286947 · External reference
10.1007/978-3-642-36946-9_3
10.1007/978-3-642-36946-9_3 · 2002 · External reference
10.1007/978-3-642-20398-5_35
10.1007/978-3-642-20398-5_35 · External reference
10.1007/978-3-642-33826-7_16
10.1007/978-3-642-33826-7_16 · External reference
10.1007/978-3-540-71289-3_26
10.1007/978-3-540-71289-3_26 · External reference
10.1109/issre.2017.10
10.1109/issre.2017.10 · External reference
Unresolved reference
External reference
10.1007/3-540-44685-0_5
10.1007/3-540-44685-0_5 · External reference
10.1145/2187671.2187678
10.1145/2187671.2187678 · 2012 · External reference
10.1109/2.562936
10.1109/2.562936 · 1997 · External reference
10.1007/11813040_19
10.1007/11813040_19 · External reference
10.1007/978-3-031-55608-1
10.1007/978-3-031-55608-1 · External reference
10.1109/tse.2006.79
10.1109/tse.2006.79 · 2006 · External reference
10.1145/1127878.1127884
10.1145/1127878.1127884 · 2006 · External reference
10.1016/j.scico.2004.05.015
10.1016/j.scico.2004.05.015 · 2005 · External reference
10.1145/286936.286953
10.1145/286936.286953 · External reference
10.1007/978-3-642-17511-4_20
10.1007/978-3-642-17511-4_20 · External reference
10.1007/11693024_9
10.1007/11693024_9 · External reference
10.1145/582153.582154
10.1145/582153.582154 · 2002 · External reference
10.1145/73560.73564
10.1145/73560.73564 · External reference
10.1016/j.jlap.2003.07.006
10.1016/j.jlap.2003.07.006 · 2004 · External reference
10.1109/2.161279
10.1109/2.161279 · 1992 · External reference
Unresolved reference
1997 · External reference
Unresolved reference
2001 · External reference
10.1007/978-3-540-78800-3_24
10.1007/978-3-540-78800-3_24 · External reference
10.1007/978-3-662-03822-9
10.1007/978-3-662-03822-9 · External reference
10.5220/0007950904990507
10.5220/0007950904990507 · External reference
10.1145/2602458.2602462
10.1145/2602458.2602462 · External reference
Unresolved reference
External reference
10.1109/ase.2008.19
10.1109/ase.2008.19 · External reference
10.1145/2568225.2568285
10.1145/2568225.2568285 · External reference
10.1145/3540250.3558917
10.1145/3540250.3558917 · External reference
10.1002/spe.649
10.1002/spe.649 · ExternalCitation · doi-reference
10.1007/11693024_9
10.1007/11693024_9 · ExternalCitation · doi-reference
10.1007/11804192_16
10.1007/11804192_16 · ExternalCitation · doi-reference
10.1007/11804192_17
10.1007/11804192_17 · ExternalCitation · doi-reference
10.1007/11813040_19
10.1007/11813040_19 · ExternalCitation · doi-reference
10.1007/3-540-44685-0_5
10.1007/3-540-44685-0_5 · ExternalCitation · doi-reference
10.1007/978-3-031-55608-1
10.1007/978-3-031-55608-1 · ExternalCitation · doi-reference
10.1007/978-3-319-12154-3_4
10.1007/978-3-319-12154-3_4 · ExternalCitation · doi-reference
10.1007/978-3-540-30569-9_3
10.1007/978-3-540-30569-9_3 · ExternalCitation · doi-reference
10.1007/978-3-540-71289-3_26
10.1007/978-3-540-71289-3_26 · ExternalCitation · doi-reference
10.1007/978-3-540-78800-3_24
10.1007/978-3-540-78800-3_24 · ExternalCitation · doi-reference
10.1007/978-3-642-17511-4_20
10.1007/978-3-642-17511-4_20 · ExternalCitation · doi-reference
10.1007/978-3-642-20398-5_35
10.1007/978-3-642-20398-5_35 · ExternalCitation · doi-reference
10.1007/978-3-642-33826-7_16
10.1007/978-3-642-33826-7_16 · ExternalCitation · doi-reference
10.1007/978-3-642-36946-9_3
10.1007/978-3-642-36946-9_3 · ExternalCitation · doi-reference
10.1007/978-3-662-03822-9
10.1007/978-3-662-03822-9 · ExternalCitation · doi-reference
10.1007/s10009-004-0167-4
10.1007/s10009-004-0167-4 · ExternalCitation · doi-reference
10.1016/j.jlap.2003.07.006
10.1016/j.jlap.2003.07.006 · ExternalCitation · doi-reference
10.1016/j.scico.2004.05.015
10.1016/j.scico.2004.05.015 · ExternalCitation · doi-reference
10.1109/2.161279
10.1109/2.161279 · ExternalCitation · doi-reference
10.1109/2.562936
10.1109/2.562936 · ExternalCitation · doi-reference
10.1109/32.469035
10.1109/32.469035 · ExternalCitation · doi-reference
10.1109/ase.2008.19
10.1109/ase.2008.19 · ExternalCitation · doi-reference
10.1109/icse.1993.346034
10.1109/icse.1993.346034 · ExternalCitation · doi-reference
10.1109/iri.2014.7051913
10.1109/iri.2014.7051913 · ExternalCitation · doi-reference
10.1109/issre.2017.10
10.1109/issre.2017.10 · ExternalCitation · doi-reference
10.1109/tse.2006.79
10.1109/tse.2006.79 · ExternalCitation · doi-reference
10.1145/1127878.1127884
10.1145/1127878.1127884 · ExternalCitation · doi-reference
10.1145/2187671.2187678
10.1145/2187671.2187678 · ExternalCitation · doi-reference
10.1145/2568225.2568285
10.1145/2568225.2568285 · ExternalCitation · doi-reference
10.1145/2602458.2602462
10.1145/2602458.2602462 · ExternalCitation · doi-reference
10.1145/286936.286947
10.1145/286936.286947 · ExternalCitation · doi-reference
10.1145/286936.286953
10.1145/286936.286953 · ExternalCitation · doi-reference
10.1145/3470569
10.1145/3470569 · ExternalCitation · doi-reference
10.1145/3540250.3558917
10.1145/3540250.3558917 · ExternalCitation · doi-reference
10.1145/3540250.3560879
10.1145/3540250.3560879 · ExternalCitation · doi-reference
10.1145/3611643.3616247
10.1145/3611643.3616247 · ExternalCitation · doi-reference
10.1145/582153.582154
10.1145/582153.582154 · ExternalCitation · doi-reference
10.1145/73560.73564
10.1145/73560.73564 · ExternalCitation · doi-reference
10.5220/0007950904990507
10.5220/0007950904990507 · ExternalCitation · doi-reference
10.5220/0012786600003753
10.5220/0012786600003753 · ExternalCitation · doi-reference
10.5220/0013578400003964
10.5220/0013578400003964 · ExternalCitation · doi-reference
