Site-Overview.com

Antoine Delignat-Lavaud registered domains

See the full list of 2 domain names linked to Antoine Delignat-Lavaud

Websites found: 2
Number of websited displayed: 2

List of results:

http://site-overview.com/stats/ht.vc

Website Address renewal date: 16/10/27
Domain Address Reg. date: 10/11/15
Website address in use until: 18/11/15

F*: A Higher-Order Effectful Language Designed for Program Verification

http://site-overview.com/stats/fstar-lang.org

Website Address renewal date: 17/5/1
Domain Address Reg. date: 14/12/18
Website address in use until: 19/12/18

2024-05-29 10:04:12 ... 0.0052