ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking.

Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz

Browse the full FedCSIS paper archive.