%0 Journal Article %1 journals/eceasst/Ehrig10 %A Ehrig, Hartmut %D 2010 %J ECEASST %K dblp %T From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement. %U http://dblp.uni-trier.de/db/journals/eceasst/eceasst30.html#Ehrig10 %V 30

@article{journals/eceasst/Ehrig10, added-at = {2019-05-22T00:00:00.000+0200}, author = {Ehrig, Hartmut}, biburl = {https://www.bibsonomy.org/bibtex/2483e45db6450e36718322c03d30b9852/dblp}, ee = {https://doi.org/10.14279/tuj.eceasst.30.430}, interhash = {156fe2dc43d95efd9b4381a63484b0cd}, intrahash = {483e45db6450e36718322c03d30b9852}, journal = {ECEASST}, keywords = {dblp}, timestamp = {2019-05-23T11:50:49.000+0200}, title = {From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement.}, url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst30.html#Ehrig10}, volume = 30, year = 2010 }