[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
deeply.

Regards,
-- 
Paulo Jorge Matos - pocm at soton.ac.uk
http://www.personal.soton.ac.uk/pocm
PhD Student @ ECS
University of Southampton, UK


Posted on the users mailing list.