Adam Chlipala

1PUBLICATIONS
1CO-AUTHORS
Software testing, verification and validation
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Sep 06, 2017
Position paper: the science of deep specification.

Andrew W Appel, Lennart Beringer, Adam Chlipala

Pageof 1

Frequent Collaborators

1 joint publications

Lennart Beringer