Specification Slicing for VDM-SL

Збережено в:

Бібліографічні деталі
Опубліковано в::	arXiv.org (Oct 4, 2024), p. n/a
Автор:	Oda, Tomohiro
Інші автори:	Han-Myung, Chang
Опубліковано:	Cornell University Library, arXiv.org
Предмети:	Debugging Source code Imperative programming Specifications Software development
Онлайн доступ:	Citation/Abstract Full text outside of ProQuest
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!