I agree that this site is using cookies. You can find further informations here.
X
Pérami, Thibaut
3  results:
Search for persons X
?
1

An Axiomatic Basis for Computer Programming on the Relaxed ..:

Hammond, Angus ; Liu, Zongyuan ; Pérami, Thibaut...
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 604-637 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Artifact of "An axiomatic basis for computer programming on..:

Hammond, Angus ; Liu, Zongyuan ; Pérami, Thibaut...
doi:10.5281/zenodo.8417667.  , 2023
Link: https://zenodo.org/recor..
 
?
3

Research data for "An Axiomatic Basis for Computer Programm..:

Hammond, Angus ; Liu, Zongyuan ; Pérami, Thibaut...
https://doi.org/10.1145/3632863.  , 2023
Link: https://www.repository.c..
 
1-3