%0 Journal Article %1 journals/stt/Wilkie05 %A Wilkie, Ian %D 2005 %J Softwaretechnik-Trends %K dblp %N 4 %T Executable UML and SPARK Ada: The Best of Both Worlds. %U http://dblp.uni-trier.de/db/journals/stt/stt25.html#Wilkie05 %V 25

@article{journals/stt/Wilkie05, added-at = {2022-08-23T00:00:00.000+0200}, author = {Wilkie, Ian}, biburl = {https://www.bibsonomy.org/bibtex/2e531ff3c5d86fbf5146e465f62c0ab1e/dblp}, ee = {http://pi.informatik.uni-siegen.de/stt/25_4/01_Fachgruppenberichte/Ada/08_Wilkie.pdf}, interhash = {71f1217f73316c644bcaeb810486a820}, intrahash = {e531ff3c5d86fbf5146e465f62c0ab1e}, journal = {Softwaretechnik-Trends}, keywords = {dblp}, number = 4, timestamp = {2024-04-08T13:02:53.000+0200}, title = {Executable UML and SPARK Ada: The Best of Both Worlds.}, url = {http://dblp.uni-trier.de/db/journals/stt/stt25.html#Wilkie05}, volume = 25, year = 2005 }