The top documents tagged [alf action language]

PhD Thesis defense: Lightweight and Static verification of UML Executable Models
Technology PhD Thesis defense: Lightweight and Static verification of UML Executable Models

1.168 views