Powered by
2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T 2011),
May 22–24, 2011,
Waikiki, Honolulu, HI, USA
Academic Research Papers
Turning Real-World Systems into Verification-Driven Learning Cases
Shengru Tu, Shireesha Tankashala, Sehun Oh, Brian Becker, Brian Horton, Aditya Kallem, Zhao Yang, Lisa Hartman, and Daniel Wagner
(University of New Orleans, USA; Benjamin Franklin High School at New Orleans, USA; Jesuit High School at New Orleans, USA)
proc time: 0.01