Previous
Next
Journal
- journal of logical and algebraic methods in programming4
- lecture notes in computer science4
- mathematics of program construction2
- science of computer programming2
- advances in engineering software1
- enterprise information systems vi1
- formal aspects of computing1
- formal methods: foundations and applications1
- information services & use1