Author/Creator: SAPIÑA, J. - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator SAPIÑA, J.

1. Assertion-based analysis via slicing with ABETS* (system description). Issue 5 (14th October 2016)

Authors:: ALPUENTE, M.; FRECHINA, F.; SAPIÑA, J.; BALLIS, D.
Editors:: Carro, Manuel; King, Andy
Journal:: Theory and practice of logic programming
Issue:: Volume 16:Issue 5/6(2016)
Page Start:: 515
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Inspecting Maude variants with GLINTS*. Issue 5 (24th August 2017)

Authors:: ALPUENTE, M.; ESCOBAR, S.; SAPIÑA, J.; CUENCA-ORTEGA, A.
Editors:: Rocha, Ricardo; Cao Son, Tran
Journal:: Theory and practice of logic programming
Issue:: Volume 17:Issue 5/6(2017)
Page Start:: 689
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗