Specifying and automatically generating Ada tasks in Prolog

Author(s):  
John Van Tassel ◽  
David Hemmendinger
Sign in / Sign up

Export Citation Format

Share Document