Verification of Programs Based on Similarity Relations

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Trudy SPIIRAN (Print) 2015-02, Vol.1 (38), p.233
Hauptverfasser:	Kovalyov, Viktor Vasilevich, Kompaniets, Radion Ivanovich, Novikov, Vladimir Aleksandrovich
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!