4 papers:
- ICDAR-2011-ForcherADGR #semantics #towards
- Semantic Logging: Towards Explanation-Aware DAS (BF, SA, AD, MG, TRB), pp. 1140–1144.
- CSL-1998-RicheM #complexity #decidability
- Belnap, Urquhart and Relevant Decidability & Complexity. “Das ist nicht Mathematik, das ist Theologie.” (JR, RKM), pp. 224–240.
- DAC-1978-Willis #analysis #automation #design #named
- DAS: An automated system to support design analysis (RRW), pp. 359–365.
- ICSE-1978-Willis #analysis #automation #design #named
- DAS: An Automated System to Support Design Analysis (RRW), pp. 109–115.