Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program.

Patricio Letelier, Pedro Snchez, Isidro Ramos

Browse the full PADL paper archive.