![](/img/cover-not-exists.png)
[IEEE 2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T) - Honolulu, HI, USA (2011.05.22-2011.05.24)] 2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T) - Turning real-world systems into verification-driven learning cases
Tu, Shengru, Tankashala, Shireesha, Oh, Sehun, Becker, Brian, Horton, Brian, Kallem, Aditya, Yang, ZhaoYear:
2011
Language:
english
DOI:
10.1109/CSEET.2011.5876080
File:
PDF, 635 KB
english, 2011