Integrated formal methods : 16th international conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : proceedings

Integrated formal methods 16th international conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020 : proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: iFM (VerfasserIn)
Weitere Verfasser: Dongol, Brijesh (HerausgeberIn), Troubitsyna, Elena (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2020
Schriftenreihe:Lecture notes in computer science 12546
Schlagworte:
Konferenzschrift > Maschinelles Lernen > Formale Methode > Programmverifikation > Statistische Analyse
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!