Opening book details…
About this scholarly article
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan by Jason Belt; Patrice Chalin; John Hatcliff; Robby is a scholarly article available to read on EtoBox.
- Author
- Jason Belt; Patrice Chalin; John Hatcliff; Robby
- Publisher
- ACM
- Published
- 2012
More by Jason Belt; Patrice Chalin; John Hatcliff; Robby
Browse all works by Jason Belt; Patrice Chalin; John Hatcliff; Robby