Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dross, Claire
8  Ergebnisse:
Artikel (Online) X
Personensuche X
?
1

Co-Developing Programs and Their Proof of Correctness:

Chapman, Roderick ; Dross, Claire ; Matthews, Stuart.
Communications of the ACM.  67 (2024)  3 - p. 84-94 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Containers for Specification in SPARK:

Dross, Claire
ACM SIGAda Ada Letters.  42 (2023)  2 - p. 62-68 , 2023
Link: https://doi.org/10.1145/..
 
?
3

Proving the Correctness of GNAT Light Runtime Library:

Moy, Yannick ; Dross, Claire
ACM SIGAda Ada Letters.  42 (2022)  1 - p. 65-67 , 2022
Link: https://doi.org/10.1145/..
 
?
4

Defining a Pattern Matching Language Feature for Ada:

Taft, S. Tucker ; Baird, Stephen ; Dross, Claire
ACM SIGAda Ada Letters.  42 (2022)  1 - p. 79-79 , 2022
Link: https://doi.org/10.1145/..
 
?
5

VerifyThis 2019: a program verification competition:

Dross, Claire ; Furia, Carlo A ; Huisman, Marieke..
International Journal on Software Tools for Technology Transfer.  23 (2021)  6 - p. 883-893 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Adding Decision Procedures to SMT Solvers Using Axioms with..:

Dross, Claire ; Conchon, Sylvain ; Kanig, Johannes.
Journal of Automated Reasoning.  56 (2015)  4 - p. 387-457 , 2015
Link: https://doi.org/10.1007/..
 
?
7

Hi-Lite: the convergence of compiler technology and program..:

Kanig, Johannes ; Schonberg, Edmond ; Dross, Claire
ACM SIGAda Ada Letters.  32 (2012)  3 - p. 27-34 , 2012
Link: https://doi.org/10.1145/..
 
?
8

Effects of therapeutic vaccination on the control of SIV in..:

Tunggal, Hillary Claire ; Munson, Paul Veness ; O'Connor, Megan Ashley...
PLOS ONE.  16 (2021)  6 - p. e0253265 , 2021
Link: https://doi.org/10.1371/..
 
1-8