Jean Goubault-Larrecq

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 32

Top Topics

Programming Language Constructs

Static Analysis

Computer Science

Top Venues

Math. Struct. Comput. Sci.

Log. Methods Comput. Sci.

Publications