Arthur Charguéraud
Publications
by date
by topic
by venue
Software
OptiTrust
CFML
TLC
PASL
FormalMetaCoq
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@InProceedings{krstic-matthews-03, author = "Sava Krsti{\'c} and John Matthews", title = "Inductive Invariants for Nested Recursion", year = "2003", volume = "2758", pages = "253--269", editor = "David A. Basin and Burkhart Wolff", publisher = "Springer", series = "LNCS", booktitle = "International Conference on Theorem Proving in Higher Order Logics ({TPHOLs})", }