%0 Journal Article %1 journals/fuin/AlpuentePV20 %A Alpuente, María %A Pardo, Daniel %A Villanueva, Alicia %D 2020 %J Fundam. Informaticae %K dblp %N 3-4 %P 235-273 %T Abstract Contract Synthesis and Verification in the Symbolic K Framework. %U http://dblp.uni-trier.de/db/journals/fuin/fuin177.html#AlpuentePV20 %V 177

@article{journals/fuin/AlpuentePV20, added-at = {2022-01-03T00:00:00.000+0100}, author = {Alpuente, María and Pardo, Daniel and Villanueva, Alicia}, biburl = {https://www.bibsonomy.org/bibtex/21f203bd2542623105d5f263b740c84d3/dblp}, ee = {https://doi.org/10.3233/FI-2020-1989}, interhash = {bd050bc8bac7976743152b0347ade8da}, intrahash = {1f203bd2542623105d5f263b740c84d3}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {3-4}, pages = {235-273}, timestamp = {2024-04-08T10:04:07.000+0200}, title = {Abstract Contract Synthesis and Verification in the Symbolic K Framework.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin177.html#AlpuentePV20}, volume = 177, year = 2020 }