[plt-scheme] Regarding research on formal methods and verification of software in Scheme

From: Paulo J. Matos (pocm at soton.ac.uk)
Date: Tue Jan 9 06:08:33 EST 2007

Thank you for your references regarding this topic. Sorry for the
delay but I've been away and only now I'll be able to look into it

Paulo Jorge Matos - pocm at soton.ac.uk
PhD Student @ ECS
University of Southampton, UK

Posted on the users mailing list.