Bart Jacobs

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 33

Top Topics

Imperative Programs

Rewrite Systems

Formal Specification

Top Venues

Sci. Comput. Program.

Publications