Home
DCC eCatalog
Sidi_O.__Ehmety
Program composition in Isabelle/UNITY
Representing component states in higher-order logic
