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

Regular repair of specifications

Michael Benedikt‚ Gabriele Puppis and Cristian Riveros

Journal
26th Annual IEEE Symposium on Logic in Computer Science (LICS)
Location
Toronto‚ Canada
Month
June
Year
2011

Links

See Also

Back to Top