Behavioral Program Synthesis:Insights and Prospects (2015)

First Author: Krawiec, K
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