-
1
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6,...
Veröffentlicht 2014BFB01
BTU01
FHA01
FHM01
FHN01
FKE01
FRO01
UBG01
UBR01
UBT01
UBW01
UER01
UPA01
Volltext
Inhaltsverzeichnis
Abstract
Elektronisch E-Book -
2
-
3
-
4
-
5