Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Link opens in a new tab
Search content at Welcome to DTU Research Database
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Deduktiv program syntese.
Frost, Jacob
(PhD Student)
Hansen, Bo Stig
(Main Supervisor)
Overview
Project Details
Status
Finished
Effective start/end date
01/02/1992
→
04/09/1996
Funding
DTU stipendium
View all
View less