Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Science of computer programming 2022-04, Vol.216, p.102780, Article 102780
Hauptverfasser:	Méry, Dominique, Raschke, Alexander
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science Data Structures and Algorithms Formal Languages and Automata Theory Logic in Computer Science Software Engineering
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!