S. Foster, и J. Woodcock. Dependable Software Systems Engineering, том 40 из NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2015)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Book Section
%1 series/natosec/FosterW15
%A Foster, Simon
%A Woodcock, Jim
%B Dependable Software Systems Engineering
%D 2015
%E Irlbeck, Maximilian
%E Peled, Doron A.
%E Pretschner, Alexander
%I IOS Press
%K
%P 246-287
%T Mechanised Theory Engineering in Isabelle.
%U http://dblp.uni-trier.de/db/series/natosec/natosec40.html#FosterW15
%V 40
%@ 978-1-61499-495-4
@incollection{series/natosec/FosterW15,
added-at = {2023-12-13T05:58:40.000+0100},
author = {Foster, Simon and Woodcock, Jim},
biburl = {https://www.bibsonomy.org/bibtex/27bae58d8205cd92da5781ae9e4f55e76/admin},
booktitle = {Dependable Software Systems Engineering},
crossref = {series/natosec/40},
editor = {Irlbeck, Maximilian and Peled, Doron A. and Pretschner, Alexander},
ee = {https://doi.org/10.3233/978-1-61499-495-4-246},
interhash = {a8da862dffe101f0fdc8ed48ea7b5405},
intrahash = {7bae58d8205cd92da5781ae9e4f55e76},
isbn = {978-1-61499-495-4},
keywords = {},
pages = {246-287},
publisher = {IOS Press},
series = {NATO Science for Peace and Security Series, D: Information and Communication Security},
timestamp = {2023-12-13T05:58:40.000+0100},
title = {Mechanised Theory Engineering in Isabelle.},
url = {http://dblp.uni-trier.de/db/series/natosec/natosec40.html#FosterW15},
volume = 40,
year = 2015
}
