%0 Journal Article %1 journals/spe/StepneyL87 %A Stepney, Susan %A Lord, Stephen P. %D 1987 %J Softw. Pract. Exp. %K dblp %N 9 %P 575-593 %T Formal Specification of an Access Control System. %U http://dblp.uni-trier.de/db/journals/spe/spe17.html#StepneyL87 %V 17

@article{journals/spe/StepneyL87, added-at = {2020-04-09T00:00:00.000+0200}, author = {Stepney, Susan and Lord, Stephen P.}, biburl = {https://www.bibsonomy.org/bibtex/2664941ff319076d3f58a83605058815b/dblp}, ee = {https://doi.org/10.1002/spe.4380170903}, interhash = {7a8f5d0d43b102e79750b44fbfe5d3c2}, intrahash = {664941ff319076d3f58a83605058815b}, journal = {Softw. Pract. Exp.}, keywords = {dblp}, number = 9, pages = {575-593}, timestamp = {2020-04-10T11:52:04.000+0200}, title = {Formal Specification of an Access Control System.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe17.html#StepneyL87}, volume = 17, year = 1987 }