%0 Journal Article %1 journals/fac/BouwmanWLSR23 %A Bouwman, Mark %A van der Wal, Djurre %A Luttik, Bas %A Stoelinga, Mariëlle %A Rensink, Arend %D 2023 %J Formal Aspects Comput. %K dblp %N 1 %P 2:1-2:38 %T A Case in Point: Verification and Testing of a EULYNX Interface. %U http://dblp.uni-trier.de/db/journals/fac/fac35.html#BouwmanWLSR23 %V 35

@article{journals/fac/BouwmanWLSR23, added-at = {2023-06-02T00:00:00.000+0200}, author = {Bouwman, Mark and van der Wal, Djurre and Luttik, Bas and Stoelinga, Mariëlle and Rensink, Arend}, biburl = {https://www.bibsonomy.org/bibtex/2bb52cd83a231a27321c22c4f11679996/dblp}, ee = {https://doi.org/10.1145/3528207}, interhash = {4facf376398866934b7ffcdf9878633b}, intrahash = {bb52cd83a231a27321c22c4f11679996}, journal = {Formal Aspects Comput.}, keywords = {dblp}, month = {March}, number = 1, pages = {2:1-2:38}, timestamp = {2024-04-09T05:37:05.000+0200}, title = {A Case in Point: Verification and Testing of a EULYNX Interface.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac35.html#BouwmanWLSR23}, volume = 35, year = 2023 }