Old Web
English
Sign In
Acemap
>
authorDetail
>
Romain Bardou
Romain Bardou
University of Paris-Sud
Computer science
Software construction
Monolithic application
Software deployment
Computer engineering
4
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Scientific Foundations - Proof of Imperative andObject-Oriented programs
2011
Romain Bardou
François Bobot
Sylvie Boldo
Jean-Christophe Filliâtre
Claude Marché
Tuyen Nguyen
Andrei Paskevich
Christine Paulin-Mohring
Asma Tafat
Wendi Urribarri
Show All
Source
Cite
Save
Citations (0)
Regions and Permissions for Verifying Data Invariants
2010
Romain Bardou
Claude Marché
Show All
Source
Cite
Save
Citations (0)
Faire bonne figure avec Mlpost
2009
Studia Informatica Universalis
Romain Bardou
Jean-Christophe Filliâtre
Johannes Kanig
Stéphane Lescuyer
Show All
Source
Cite
Save
Citations (1)
1