@inproceedings{inproceedings, title  = {{Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers}},

 publisher = {{Springer}},

 url = {{}},

 year = {{2008}},

 month = {{1}},

 author = {{}},

 isbn = {{978-3-540-78916-1}},

 volume = {{4949}},

 journal = {{Formal Methods and Testing}},

 note = {{Accessed on 2024/12/21}}}