A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract).

Vasileios Koutavas, Matthew Hennessy

Browse the full ESOP paper archive.