Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch

Publications Search - Details

Publication type: Article in Proceedings
Author: F.W. von Henke, D.C. Luckham, B. Krieg-Brückner, O. Owe
Editor: J.G.P. Barnes, G.A. Fisher, jr
Title: Semantic Specification of Ada Packages
Book / Collection title: Ada in Use, Proc. Ada Int´l Conf. 85 (Paris)
Page(s): 185 – 198
Series: Ada Companion Series
Year published: 1985
Publisher: Cambridge University Press
Status: Reviewed
Last updated: 29. 12. 2002

 Back to result list
Author: Automatically generated page
  Group BKB 
Last updated: February 23, 2006   impressum