Programming in Ada 2012: Object Oriented Techniques

@inproceedings{Barnes2014ProgrammingIA,
  title={Programming in Ada 2012: Object Oriented Techniques},
  author={John Barnes},
  year={2014}
}

Topics from this paper.

Citations

Publications citing this paper.

BMCLua: A Translator for Model Checking Lua Programs

VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED