Behavioral Program Synthesis:Insights and Prospects (2015)
Attributed to:
DAASE: Dynamic Adaptive Automated Software Engineering
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://www.cs.put.poznan.pl/kkrawiec/wiki/uploads/Research/2015GPTP.pdf
Type: Conference/Paper/Proceeding/Abstract