Home Unlabelled Leon – An Automated System for Synthesizing and Verifying Scala Programs

Leon – An Automated System for Synthesizing and Verifying Scala Programs

By
Saturday, January 10, 2015
Read
Add Comment
Comments



from Hacker News http://leon.epfl.ch/
Tags :

Created By Nexus · Powered by Blogger
© All Rights Reserved

Terms Of Service · Privacy Policy · Disclaimer · Contact Us · About Us