Author/Creator: Aiguier, Marc - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Aiguier, Marc

1. Exhaustive test sets for algebraic specifications. (27th January 2016)

Authors:: Aiguier, Marc; Arnould, Agnès; Gall, Pascale Le; Longuet, Delphine
Journal:: Software testing, verification & reliability
Issue:: Volume 26:Number 4(2016)
Page Start:: 294
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning. Issue 4 (2nd October 2019)

Authors:: Aiguier, Marc; Bloch, Isabelle
Journal:: Journal of applied non-classical logics
Issue:: Volume 29:Issue 4(2019)
Page Start:: 392
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗