%0 Conference Paper %1 conf/erlang/BarrioFHEM21 %A de Barrio, Luis Eduardo Bueso %A Fredlund, Lars-Åke %A Herranz, Ángel %A Earle, Clara Benac %A Mariño, Julio %B Erlang Workshop %D 2021 %E Aronis, Stavros %E Bieniusa, Annette %I ACM %K dblp %P 41-53 %T Makina: a new QuickCheck state machine library. %U http://dblp.uni-trier.de/db/conf/erlang/erlang2021.html#BarrioFHEM21 %@ 978-1-4503-8612-8

@inproceedings{conf/erlang/BarrioFHEM21, added-at = {2023-09-30T00:00:00.000+0200}, author = {de Barrio, Luis Eduardo Bueso and Fredlund, Lars-Åke and Herranz, Ángel and Earle, Clara Benac and Mariño, Julio}, biburl = {https://www.bibsonomy.org/bibtex/2ce07bb01f8764998a50c6fd180a4be4f/dblp}, booktitle = {Erlang Workshop}, crossref = {conf/erlang/2021}, editor = {Aronis, Stavros and Bieniusa, Annette}, ee = {https://doi.org/10.1145/3471871.3472964}, interhash = {22808f8fd9efc261fde7f75410652fbc}, intrahash = {ce07bb01f8764998a50c6fd180a4be4f}, isbn = {978-1-4503-8612-8}, keywords = {dblp}, pages = {41-53}, publisher = {ACM}, timestamp = {2024-04-10T00:28:48.000+0200}, title = {Makina: a new QuickCheck state machine library.}, url = {http://dblp.uni-trier.de/db/conf/erlang/erlang2021.html#BarrioFHEM21}, year = 2021 }