Aditya V. Thakur

Through the Lens of Abstraction

Reps, Thomas W. and Thakur, Aditya V.
High Confidence Software and Systems Conference (HCSS), 2014

PDF     

@inproceedings{reps_thakur_HCSS14,
  author = {Reps, Thomas W. and Thakur, Aditya V.},
  title = {Through the Lens of Abstraction},
  booktitle = {High Confidence Software and Systems Conference ({HCSS})},
  year = {2014},
  month = may
}