%0 Conference Paper %1 journals/entcs/DaylightDC04 %A Daylight, Edgar G. %A Demoen, Bart %A Catthoor, Francky %B FESCA@ETAPS %D 2004 %E Filipe, Juliana Küster %E Poernomo, Iman %E Reussner, Ralf H. %E Shukla, Sandeep K. %I Elsevier %K dblp %P 99-112 %T Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach. %U http://dblp.uni-trier.de/db/journals/entcs/entcs108.html#DaylightDC04 %V 108

@inproceedings{journals/entcs/DaylightDC04, added-at = {2022-12-13T00:00:00.000+0100}, author = {Daylight, Edgar G. and Demoen, Bart and Catthoor, Francky}, biburl = {https://www.bibsonomy.org/bibtex/27706fcc230dd8d7afde2e413a1ff0e83/dblp}, booktitle = {FESCA@ETAPS}, crossref = {conf/fesca/2004}, editor = {Filipe, Juliana Küster and Poernomo, Iman and Reussner, Ralf H. and Shukla, Sandeep K.}, ee = {https://doi.org/10.1016/j.entcs.2004.01.015}, interhash = {768c8aca978e3affdc3d7ad517f1ddeb}, intrahash = {7706fcc230dd8d7afde2e413a1ff0e83}, keywords = {dblp}, pages = {99-112}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T01:57:52.000+0200}, title = {Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs108.html#DaylightDC04}, volume = 108, year = 2004 }