Design, Specification and Verification of Interactive Systems '95: Proce 2201218

Research and Development in Expert Systems III: Proceedings of E

Design, Specification and Verification of Interactive Systems ’98: Proceedings o

Information Systems Design Methodologies: Improving the Practice : Proceedings o

Interactive systems: Proceedings, 6th Informatik Symposium, IBM Germany, Bad Hom

Intelligent and Interactive Computing: Proceedings of IIC 2018:

Proceedings of the ReUnion of Apple's Church and o

Interactive Systems: Design, Specification, and Verification - 9783642871177