• Probabilistic Semantics and Pr...

Treffer: Probabilistic Semantics and Program Analysis

Title:
Probabilistic Semantics and Program Analysis
International School on formal methods for the design of computer, communication and software systems; Formal methods for quantitative aspects of programming languages: SFM 2010
Authors:
Di Pierro, A., Hankin, C., Wiklicky, H.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (6154):1-42
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN076426828&indx=1&recIds=ETOCCN076426828
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings