@dblp

A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications.

, , , , , , , and . J. Log. Comput., 16 (2): 227-255 (2006)

Links and resources

Tags