Skip to content

A value-oriented specification for weak sequencing validation.

Thouraya Bouabana-Tebibel, Stuart H. Rubin

Year2014
ProceedingsIRI

Browse the full IRI paper archive.