Works matching IS 13816551 AND DT 2017 AND VI 38 AND IP 1
Results: 13
Editorial.
- Published in:
- Ada User Journal, 2017, v. 38, n. 1, p. 3
- By:
- Publication type:
- Article
SPARK 2014 Rationale: Type Predicates, Variables that are Constant, Support for Ravenscar and Support for Type Invariants.
- Published in:
- Ada User Journal, 2017, v. 38, n. 1, p. 57
- By:
- Publication type:
- Article
Definition-Use Net and System Dependence Net Generators for Ada 2012 Programs and their Applications.
- Published in:
- Ada User Journal, 2017, v. 38, n. 1, p. 37
- By:
- Publication type:
- Article
ARG Work in Progress.
- Published in:
- Ada User Journal, 2017, v. 38, n. 1, p. 33
- By:
- Publication type:
- Article
Forthcoming Events.
- Published in:
- 2017
- Publication type:
- Calendar
Conference Calendar.
- Published in:
- 2017
- By:
- Publication type:
- Calendar
Ada in Context.
- Published in:
- Ada User Journal, 2017, v. 38, n. 1, p. 14
- Publication type:
- Article
Ada Inside.
- Published in:
- 2017
- Publication type:
- Product Review
References to Publications.
- Published in:
- 2017
- Publication type:
- Bibliography
Ada and Operating Systems.
- Published in:
- 2017
- Publication type:
- Product Review
Ada-related Products.
- Published in:
- 2017
- Publication type:
- Product Review
Ada-related Tools.
- Published in:
- 2017
- Publication type:
- Product Review
Ada-related Events.
- Published in:
- 2017
- Publication type:
- Calendar