![Distributed computing / Model checking / File system / Symbolic execution Distributed computing / Model checking / File system / Symbolic execution](https://www.pdfsearch.io/img/2e6b7feb615c74b3c494cd6eef0507ae.jpg)
| Document Date: 2015-03-09 10:58:44 Open Document File Size: 1,47 MBShare Result on Facebook
IndustryTerm distributed software / Web Server / software development / / Person Tony Field / Ian Hodkinson / Cristian Cadar / Peter Pietzuch / Iain Phillips / Chris Emery / Susan Eisenbach / / / Position Supervisor / Scheduler / / Technology Web Server / /
SocialTag |