Verification of programs: status, problems and experimental results. II

Prombles in programming 2014; 1: 76-89

Gespeichert in:

Bibliographische Detailangaben
Datum:	2025
1. Verfasser:	Maksymets, A.N.
Format:	Artikel
Sprache:	Russian
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2025
Schlagworte:	UDC 51.681.3
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/733
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Beschreibung
Zusammenfassung:	Prombles in programming 2014; 1: 76-89