Functional Programming, Concurrency, Simulation and Automated Reasoning

[–] 

Venue statistics

records by year

document access 

frequent authors

Functional Programming, Concurrency, Simulation and Automated Reasoning 1993