Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Damien Doligez
Development of Secured Systems by Mixing Programs, Specifications and Proofs in an Object-Oriented Programming Environment
Related publications
Hypertext in an Object-Oriented Programming Environment
DAIMI Report Series
Multibody Simulation in an Object Oriented Programming Environment
Object-Oriented Programming
A Primer on Scientific Programming with Python
Object-Oriented Programming
Undergraduate Topics in Computer Science
Object-Oriented Programming
Computational Frameworks for Political and Social Research with Python
Object-Oriented Programming
Object-Oriented Programming
Object-Oriented Programming
Object-Oriented Programming