added LNCS number to ABZ paper

2023-04-27 13:02:37 +02:00 · 2023-04-27 13:02:37 +02:00 · 7ce3fdf768
parent f906d45d48
commit 7ce3fdf768
1 changed files with 1 additions and 1 deletions
--- a/Isabelle_DOF/document/root.bib
+++ b/Isabelle_DOF/document/root.bib
@ -80,7 +80,7 @@
  publisher	= {Springer-Verlag},
  address	= {Heidelberg},
  series	= {Lecture Notes in Computer Science},
-  number	= {XXXXX},
+  number	= {14010},
  title		= {{U}sing {D}eep {O}ntologies in {F}ormal {S}oftware {E}ngineering},
  year    = {2023},
  abstract = {Isabelle/DOF is an ontology framework on top of Isabelle Isabelle/DOF allows for the