preprint · HAL (Le Centre pour la Communication Scientifique Directe) · 2013

Deductive Program Verification

Jean-Christophe Filliâtre

Cited by 0Abstract and details only

Abstract

International audience

Cite this paper

APA 7

Filliâtre, J.-C. (2013). Deductive Program Verification. HAL (Le Centre pour la Communication Scientifique Directe).

MLA 9

Filliâtre, Jean-Christophe. “Deductive Program Verification.” HAL (Le Centre pour la Communication Scientifique Directe), 2013.

Chicago

Filliâtre, Jean-Christophe. 2013. “Deductive Program Verification.” HAL (Le Centre pour la Communication Scientifique Directe).

Harvard

Filliâtre, J.-C. (2013) ‘Deductive Program Verification’, HAL (Le Centre pour la Communication Scientifique Directe).

BibTeX

@misc{filliatre2013deductive,
  title = {{Deductive Program Verification}},
  author = {Filliâtre, Jean-Christophe},
  journal = {HAL (Le Centre pour la Communication Scientifique Directe)},
  year = {2013}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.