Volkert Barr

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Ada has been successfully used in many dependable real−time applications, which have undoubtedly benefit of its major strengths: The well defined language semantics [1], the strong type checking, structuring mechanisms like packages and not to forget the Ada Semantic Interface Standard [2] supporting the development of code analysis, verification and(More)
  • 1