Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Regular Repairs of Specifications

Regular Repairs of Specifications

Michael Benedikt‚ Gabriele Puppis and Cristian Riveros

Journal
LICS'11: Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science
Year
2011

Links

See Also

Back to Top