Uniform PERs and comportment analysis

Programming Languages: Implementations, Logics and Programs - Lecture Notes in Computer Science ◽

10.1007/bfb0026820 ◽

1995 ◽

pp. 169-187 ◽

Author(s):

Alan Mycroft ◽

Kirsten Lackner Solberg

Download Full-text