Real Time Programming Languages
Specification and Verification2010 年出版245 页ISBN:9810225667
WEB PROGRAMMING LANGUAGES SOURCEBOOK
MARTY BOWER MARK ROBINSON1997 年出版608 页ISBN:
Lecture Notes in Computer Science 4646 Computer Science Logic 21st International Workshop
CSL 2007 16th Annual Conference of the EACSL2007 年出版600 页ISBN:9783540749141
Nikolaos Ploskas ; Nikolaos Samaras2016 年出版304 页ISBN:0128051320