angelorusc/Nuclear-Borst-Train
An Implementation with ADA for a Nuclear Train proved with SPARK, as a coursework for the Formal Approaches to Software Engineering module in 4th year
Ada
Stargazers
No one’s star this repository yet.
An Implementation with ADA for a Nuclear Train proved with SPARK, as a coursework for the Formal Approaches to Software Engineering module in 4th year
Ada
No one’s star this repository yet.