Vol-3798⫷ Vol-3799 ⫸Vol-3800
urn:nbn:de:0074-3799-0

Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

Vol-3799/short4ASPOCP⫷Vol-3799/abstract1GDE24 ⫸Vol-3799/abstract2GDE24

Joaquín Arias

Jan Fiedor

Gopal Gupta 0001

Brendan Hall

Brian Larson

Bohuslav Krena

Sarat Chandra Varanasi

Ondrej Vasícek

Tomás Vojnar

Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming