• Towards Automatic Generation o...

*Result*: Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems

Title:
Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems
Generative programming and component engineering; GPCE'11
Authors:
Slatten, V., Kraemer, F.A., Herrmann, P.
Source:
ACM SIGPLAN NOTICES. 47(3):147-156
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN081854992&indx=1&recIds=ETOCCN081854992
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings