%0 Journal Article %1 journals/sigsoft/Meseguer01 %A Meseguer, José %D 2001 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 1 %P 39 %T Report on ETAPS 2000. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft26.html#Meseguer01 %V 26

@article{journals/sigsoft/Meseguer01, added-at = {2023-09-20T00:00:00.000+0200}, author = {Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/2f9c8730661e4b7249efef98f405dc281/dblp}, ee = {https://doi.org/10.1145/505894.505902}, interhash = {0fd2f87102c0d16c69626c8246303030}, intrahash = {f9c8730661e4b7249efef98f405dc281}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 1, pages = 39, timestamp = {2024-04-08T18:57:13.000+0200}, title = {Report on ETAPS 2000.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft26.html#Meseguer01}, volume = 26, year = 2001 }