Scopus Citation Count History Scopus Citation Count History for Formal methods within a totally functional approach to programming


Scopus Citation Count History Graph
Citation counts provided by Scopus