Sciweavers

RTA
2007
Springer

On the Completeness of Context-Sensitive Order-Sorted Specifications

14 years 5 months ago
On the Completeness of Context-Sensitive Order-Sorted Specifications
Joe Hendrix, José Meseguer
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where RTA
Authors Joe Hendrix, José Meseguer
Comments (0)