%0 Journal Article %1 journals/sigsoft/SousaAAVP10 %A de Sousa, Thiago C. %A Jr., Jorge R. Almeida %A Viana, Sidney %A Pavón, Judith %D 2010 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 2 %P 1-4 %T Automatic analysis of requirements consistency with the B method. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft35.html#SousaAAVP10 %V 35

@article{journals/sigsoft/SousaAAVP10, added-at = {2020-09-17T00:00:00.000+0200}, author = {de Sousa, Thiago C. and Jr., Jorge R. Almeida and Viana, Sidney and Pavón, Judith}, biburl = {https://www.bibsonomy.org/bibtex/2db4fe9ef1e6e82012ffc0826a792bd0b/dblp}, ee = {https://doi.org/10.1145/1734103.1734114}, interhash = {56c192fa454443c3e2a2b51a60ea75e1}, intrahash = {db4fe9ef1e6e82012ffc0826a792bd0b}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 2, pages = {1-4}, timestamp = {2020-09-18T11:37:34.000+0200}, title = {Automatic analysis of requirements consistency with the B method.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft35.html#SousaAAVP10}, volume = 35, year = 2010 }