Julien Braine

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Database Management

Conceptual Modelling

Data Abstraction

Object Oriented Databases

Top Venues

Publications

Julien Braine, Laure Gonnord, David Monniaux
Data Abstraction: A General Framework to Handle Program Verification of Data Structures. SAS (2021)