%0 Conference Paper %1 conf/birthday/NicolaDIM19 %A Nicola, Rocco De %A Duong, Tan %A Inverso, Omar %A Mazzanti, Franco %B From Software Engineering to Formal Methods and Tools, and Back %D 2019 %E ter Beek, Maurice H. %E Fantechi, Alessandro %E Semini, Laura %I Springer %K dblp %P 377-396 %T A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems. %U http://dblp.uni-trier.de/db/conf/birthday/gnesi2019.html#NicolaDIM19 %V 11865 %@ 978-3-030-30985-5

@inproceedings{conf/birthday/NicolaDIM19, added-at = {2022-04-09T00:00:00.000+0200}, author = {Nicola, Rocco De and Duong, Tan and Inverso, Omar and Mazzanti, Franco}, biburl = {https://www.bibsonomy.org/bibtex/2654dddd0be5ed937d8520d5cf9b2d4ba/dblp}, booktitle = {From Software Engineering to Formal Methods and Tools, and Back}, crossref = {conf/birthday/2019gnesi}, editor = {ter Beek, Maurice H. and Fantechi, Alessandro and Semini, Laura}, ee = {https://doi.org/10.1007/978-3-030-30985-5_22}, interhash = {5d9f8cdccacb1326eaad91deac05deff}, intrahash = {654dddd0be5ed937d8520d5cf9b2d4ba}, isbn = {978-3-030-30985-5}, keywords = {dblp}, pages = {377-396}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:22:13.000+0200}, title = {A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems.}, url = {http://dblp.uni-trier.de/db/conf/birthday/gnesi2019.html#NicolaDIM19}, volume = 11865, year = 2019 }