Encapsulating deontic and branching time specifications
Theoretical Computer Science
Hi-index | 0.00 |
Demonstrates how category theory can be used for formal software development. The mathematical toolbox for the Software Engineering in the new age of complex interactive systems.