Works matching IS 13816551 AND DT 2019 AND VI 40 AND IP 2
Results: 13
Ada Inside.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 83
- By:
- Publication type:
- Article
Ada-related Tools.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 80
- By:
- Publication type:
- Article
Ada-related Resources.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 80
- By:
- Publication type:
- Article
A "New" C Static Analyzer: the Compiler.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 99
- By:
- Publication type:
- Article
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
Verification of Ada Programs with AdaHorn.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 103
- By:
- Publication type:
- Article
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
Conference Calendar.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 91
- By:
- Publication type:
- Article
Ada and other Languages.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 84
- By:
- Publication type:
- Article
Ada Practice.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 86
- By:
- Publication type:
- Article
Ada in Jest.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 89
- By:
- Publication type:
- Article
Ada-related Events.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 77
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Ada User Journal, 2019, v. 40, n. 2, p. 75
- By:
- Publication type:
- Article