%0 Journal Article %1 journals/computer/Abrial09 %A Abrial, Jean-Raymond %D 2009 %J Computer %K dblp %N 9 %P 30-36 %T Faultless Systems: Yes We Can!. %U http://dblp.uni-trier.de/db/journals/computer/computer42.html#Abrial09 %V 42

@article{journals/computer/Abrial09, added-at = {2020-08-12T00:00:00.000+0200}, author = {Abrial, Jean-Raymond}, biburl = {https://www.bibsonomy.org/bibtex/2690031a524af2a1f85634b081235cf34/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MC.2009.283}, interhash = {acb49c9cdfa84750b7ca3dc4dbbf4f4c}, intrahash = {690031a524af2a1f85634b081235cf34}, journal = {Computer}, keywords = {dblp}, number = 9, pages = {30-36}, timestamp = {2020-08-13T11:46:16.000+0200}, title = {Faultless Systems: Yes We Can!.}, url = {http://dblp.uni-trier.de/db/journals/computer/computer42.html#Abrial09}, volume = 42, year = 2009 }