Open AccessCertified Verification of Relational Properties
Author(s) -
Lionel Blatter,
Nikolaï Kosmatov,
Virgile Prévosto,
Pascale Le Gall
Publication year - 2022
Publication title -
lecture notes in computer science
Language(s) - Uncategorized
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
DOI - 10.1007/978-3-031-07727-2_6
Subject(s) - computer science , transformation (genetics) , theoretical computer science , programming language , modular design , monotonic function , property (philosophy) , function (biology) , scope (computer science) , proof assistant , generator (circuit theory) , hol , algorithm , mathematics , mathematical proof , mathematical analysis , biochemistry , chemistry , philosophy , geometry , power (physics) , physics , epistemology , quantum mechanics , evolutionary biology , biology , gene
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom