Towards deductive-based support for software development processes.

Radoslaw Klimek

Browse the full FedCSIS paper archive.