McLaren's masterpiece
From MaRDI portal
Publication:1106015
DOI10.1016/0167-6423(87)90018-9zbMath0649.68031OpenAlexW1966115528MaRDI QIDQ1106015
Publication date: 1987
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(87)90018-9
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Discrete mathematics in relation to computer science (68R99) Algorithms in computer science (68W99)
Related Items (1)
This page was built for publication: McLaren's masterpiece