by Xu, Zhiwu, Ren, Kerong, Qin, Shengchao, Craciun, Florin
Published in Formal Methods and Software Engineering (2018)

by André, Étienne, Lime, Didier, Roux, Olivier H.
Published in Formal Methods and Software Engineering (01.01.2016)

by Bride, Hadrien, Dong, Jie, Dong, Jin Song, Hóu, Zhé
Published in Formal Methods and Software Engineering (2018)

by Jiang, Hao, Yang, Hongli, Qin, Shengchao, Su, Zhendong, Zhang, Jian, Yan, Jun
Published in Formal Methods and Software Engineering (2017)

by Yi, Wang
Published in Formal Methods and Software Engineering (2017)

by Fei, Yuan, Zhu, Huibiao
Published in Formal Methods and Software Engineering (2018)

by Miao, Weikai, Pu, Geguang, Yao, Yinbo, Su, Ting, Bao, Danzhu, Liu, Yang, Chen, Shuohao, Xiong, Kunpeng
Published in Formal Methods and Software Engineering (01.01.2016)

by Abrial, Jean-Raymond, Butler, Michael, Hallerstede, Stefan, Voisin, Laurent
Published in Lecture notes in computer science (2006)

by Li, Yuekang
Published in Formal Methods and Software Engineering (2018)

by Khoo, Teck Ping
Published in Formal Methods and Software Engineering (2018)

by Li, Yi
Published in Formal Methods and Software Engineering (2018)

by Zhang, Zhengkui, Nielsen, Brian, Larsen, Kim Guldstrand, Nies, Gilles, Stenger, Marvin, Hermanns, Holger
Published in Formal Methods and Software Engineering (2017)

by Bowles, Juliana K. F., Caminati, Marco B.
Published in Formal Methods and Software Engineering (2017)

by Filho, Madiel S. Conserva, Oliveira, Marcel Vinicius Medeiros, Sampaio, Augusto, Cavalcanti, Ana
Published in Formal Methods and Software Engineering (01.01.2016)

by Ahmad, Waqar, Hasan, Osman
Published in Formal Methods and Software Engineering (01.01.2016)

by Saeki, Takaya, Ishikawa, Fuyuki, Honiden, Shinichi
Published in Formal Methods and Software Engineering (01.01.2016)

by Kobayashi, Tsutomu, Ishikawa, Fuyuki
Published in Formal Methods and Software Engineering (2018)

by Araki, Keijiro, Kurita, Taro
Published in Formal Methods and Software Engineering (01.01.2016)

by Rocchetto, Marco, Tippenhauer, Nils Ole
Published in Formal Methods and Software Engineering (2016)

by Meenakshi, B., Bhatnagar, Abhishek, Roy, Sudeepa
Published in Lecture notes in computer science (2006)