BibSonomy bookmarks for /user/emanuel/software_engineeringhttps://www.bibsonomy.org/user/emanuel/software_engineeringBibSonomy RSS Feed for /user/emanuel/software_engineeringKestrel Institutekids, specware, planwarehttp://www.kestrel.edu/emanuel2008-04-16T16:02:03+02:00applications ase deductive_program_synthesis institute program_synthesis smith software_engineering <span itemprop="description">kids, specware, planware</span>