Login / Signup
Jean-Bernard Stefani
ORCID
Publication Activity (10 Years)
Years Active: 1988-2024
Publications (10 Years): 15
Top Topics
Argumentation Semantics
Program Slicing
Abstract Machine
Distributed Systems
Top Venues
RC
FORTE
Theor. Comput. Sci.
J. Log. Algebraic Methods Program.
</>
Publications
</>