Jan Bergstra
Johannes Aldert "Jan" Bergstra (born 1951) is a Dutch computer scientist. His work has focused on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general. Provided by Wikipedia
Showing 1 - 4 results of 4 for search 'Jan Bergstra', query time: 0.02s
Refine Results
-
1
Thread Algebra with Prospecting Services and Foresight Patterns by Jan Bergstra
Published 2022-06-01
Article -
2
Four Notions of Fault for Program Specifications by Jan Bergstra
Published 2022-12-01
Article -
3
-
4
Synthetic Fracterm Calculus by Jan Bergstra, John V. Tucker
Published 2024-03-01
Article