%0 Conference Paper %1 conf/setta/BabinANP15 %A Babin, Guillaume %A Ameur, Yamine Aït %A Nakajima, Shin %A Pantel, Marc %B SETTA %D 2015 %E Li, Xuandong %E Liu, Zhiming %E Yi, Wang %I Springer %K dblp %P 55-70 %T Refinement and Proof Based Development of Systems Characterized by Continuous Functions. %U http://dblp.uni-trier.de/db/conf/setta/setta2015.html#BabinANP15 %V 9409 %@ 978-3-319-25941-3

@inproceedings{conf/setta/BabinANP15, added-at = {2023-09-30T00:00:00.000+0200}, author = {Babin, Guillaume and Ameur, Yamine Aït and Nakajima, Shin and Pantel, Marc}, biburl = {https://www.bibsonomy.org/bibtex/234e9927b7d88f1399977d67282affa76/dblp}, booktitle = {SETTA}, crossref = {conf/setta/2015}, editor = {Li, Xuandong and Liu, Zhiming and Yi, Wang}, ee = {https://doi.org/10.1007/978-3-319-25942-0_4}, interhash = {d92277b52d521774bb9cb2d0e2b0a58c}, intrahash = {34e9927b7d88f1399977d67282affa76}, isbn = {978-3-319-25941-3}, keywords = {dblp}, pages = {55-70}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:48:42.000+0200}, title = {Refinement and Proof Based Development of Systems Characterized by Continuous Functions.}, url = {http://dblp.uni-trier.de/db/conf/setta/setta2015.html#BabinANP15}, volume = 9409, year = 2015 }