Formal Aspects of Computing
Formal Aspects of Computing > 2017 > 29 > 3 > 383-399
Formal Aspects of Computing > 2017 > 29 > 3 > 423-452
Formal Aspects of Computing > 2017 > 29 > 3 > 401-421
Formal Aspects of Computing > 2017 > 29 > 3 > 453-474
Formal Aspects of Computing > 2017 > 29 > 3 > 531-557
Formal Aspects of Computing > 2017 > 29 > 3 > 559-579
Formal Aspects of Computing > 2017 > 29 > 3 > 475-494
Formal Aspects of Computing > 2017 > 29 > 3 > 495-530