Operation Semantics With Read and Write Frames
Workshops in Computing
doi 10.1007/978-1-4471-3240-0_14
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1994
Authors
Publisher
Springer London
Available in full text
January 1, 1994
Springer London