Ada-related Tools.
- Published in:
- 2017
- Publication type:
- Product Review
Works matching IS 13816551 AND DT 2017 AND VI 38 AND IP 1
Results: 13
1
2
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
3
Ada-related Events.
- Published in:
- 2017
- Publication type:
- Calendar
4
References to Publications.
- Published in:
- 2017
- Publication type:
- Bibliography
5
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
6
Ada-related Products.
- Published in:
- 2017
- Publication type:
- Product Review
7
ARG Work in Progress.
- Published in:
- Ada User Journal, 2017, v. 38, n. 1, p. 33
- By:
- Publication type:
- Article
8
Forthcoming Events.
- Published in:
- 2017
- Publication type:
- Calendar
9
Conference Calendar.
- Published in:
- 2017
- By:
- Publication type:
- Calendar
10
Ada in Context.
- Published in:
- Ada User Journal, 2017, v. 38, n. 1, p. 14
- Publication type:
- Article
11
Ada Inside.
- Published in:
- 2017
- Publication type:
- Product Review
12
Editorial.
- Published in:
- Ada User Journal, 2017, v. 38, n. 1, p. 3
- By:
- Publication type:
- Article
13
Ada and Operating Systems.
- Published in:
- 2017
- Publication type:
- Product Review