Ada Inside.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 83
- By:
- Publication type:
- Article
Works matching IS 13816551 AND DT 2019 AND VI 40 AND IP 2
Results: 13
1
2
Ada in Jest.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 89
- By:
- Publication type:
- Article
3
Ada Practice.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 86
- By:
- Publication type:
- Article
4
Ada and other Languages.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 84
- By:
- Publication type:
- Article
5
Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems (Part 2).
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 110
- By:
- Publication type:
- Article
6
Verification of Ada Programs with AdaHorn.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 103
- By:
- Publication type:
- Article
7
A "New" C Static Analyzer: the Compiler.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 99
- By:
- Publication type:
- Article
8
25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2020): 8-12 June 2020, Santander, Spain.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 97
- Publication type:
- Article
9
Conference Calendar.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 91
- By:
- Publication type:
- Article
10
Ada-related Tools.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 80
- By:
- Publication type:
- Article
11
Ada-related Resources.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 80
- By:
- Publication type:
- Article
12
Ada-related Events.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 77
- By:
- Publication type:
- Article
13
Editorial.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 75
- By:
- Publication type:
- Article