AdaCore (Q4678216)
Jump to navigation
Jump to search
provider of software development and verification tools based in New-York and Paris
- Ada Core Technologies Inc. (New-York)
- AdaCore SAS (Paris)
- Ada Core Technologies
- ACT
Language | Label | Description | Also known as |
---|---|---|---|
English | AdaCore |
provider of software development and verification tools based in New-York and Paris |
|
Statements
2 references
2 references
grid.432242.1
AdaCore
0 references
Identifiers
Sitelinks
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(0 entries)
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(1 entry)
- commonswiki Category:AdaCore