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

Prombles in programming 2014; 1: 76-89

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	PROBLEMS IN PROGRAMMING
Datum:	2025
Heft:	1
Сторінки:	76-89
ISSN:	1727-4907
Автори та афіліації:	A.N. Maksymets — Kiev Taras Shevchenko National University — ORCID: 0000-0003-3515-8839
1. Verfasser:	Maksymets, A.N.
Format:	Artikel
Sprache:	Russisch
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

Schreiben Sie den ersten Kommentar!