Svetlana V. Drachova-Strang, Ph.D. - Publications
Affiliations: | 2013 | School of Computing | Clemson University, Clemson, SC, United States |
Area:
Computer Science, Sciences EducationYear | Citation | Score | |||
---|---|---|---|---|---|
2013 | Cook CT, Drachova-Strang SV, Sun YS, Sitaraman M, Carver JC, Hollingsworth J. Specification and reasoning in SE projects using a Web IDE Software Engineering Education Conference, Proceedings. 229-238. DOI: 10.1109/CSEET.2013.6595254 | 0.31 | |||
2013 | Kulczycki G, Sitaraman M, Krone J, Hollingsworth JE, Ogden WF, Weide BW, Bucci P, Cook CT, Drachova-Strang SV, Durkee B, Harton H, Heym W, Hoffman D, Smith H, Sun YS, et al. A language for building verified software components Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7925: 308-314. DOI: 10.1007/978-3-642-38977-1_23 | 0.31 | |||
Show low-probability matches. |