h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Automated Exercise Generation for Satisfiability Checking

; ;

In
Formal methods teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings / Catherine Dubois, Pierluigi San Pietro, editors, Seiten/Artikel-Nr: 1-16

Konferenz/Event:5. International Workshop on Formal Methods Teaching , Lübeck , Germany , FMTea 2023 , 2023-03-06 - 2023-03-06

ImpressumCham, Switzerland : Springer

Umfang1-16

ISBN978-3-031-27533-3, 978-3-031-27534-0

ReiheLecture notes in computer science ; 13962

Online
DOI: 10.1007/978-3-031-27534-0_1


Einrichtungen

  1. Lehr- und Forschungsgebiet Theorie Hybrider Systeme (123420)
  2. Graduiertenkolleg UnRAVeL (080060)
  3. Fachgruppe Informatik (120000)



Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
WOS Core Collection: WOS:001346427700001

Interne Identnummern
RWTH-2023-04951
Datensatz-ID: 957774

Beteiligte Länder
Germany

 GO

NationallizenzNationallizenz ; SCOPUS
QR Code for this record

The record appears in these collections:
Dokumenttypen > Ereignisse > Beiträge zu Proceedings
Dokumenttypen > Bücher > Buchbeiträge
Zentrale und weitere Einrichtungen
Fakultät für Informatik (Fak.9)
Öffentliche Einträge
120000
123420
080060
Im Druck
 Datensatz erzeugt am 2023-05-04, letzte Änderung am 2025-10-14
Ähnliche Datensätze



Dieses Dokument bewerten:

Rate this document:
1
2
3
4
5
 
(Bisher nicht rezensiert)