( en | de | ru )

 

Disambiguation of "Brosgol, Benjamin M."

Author of the publication

copydeleteadd this publication to your clipboard
Tutorial: A Practical Introduction to Formal Development and Verification of High-Assurance Software with SPARK.

, , and . SecDev, page 1-2. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Simon M M Laimer

Benjamin Köckemann

Abundance, niche breadth and stress in the centre and at the border of the distribution range: a macroecological study on abundant and rare tree specie. Uni Göttingen, (2008)

Benjamin Bender

Cerebrospinal fluid and interstitial fluid volume measurement in the human brain at 3T with EPI. Uni Tübingen, (2009)

M. Biswas M. Dam

Bernhard M M Lang

 

Other publications of authors with the same name

Panel theme: Ada and management information systems., , , , , , and . WADAS, page 181-186. ACM, (1992)Deterministic Translation Grammars. Outstanding Dissertations in the Computer Sciences Garland Publishing, New York, (1973)Some issues in data types and type checking.. Design and Implementation of Programming Languages, volume 54 of Lecture Notes in Computer Science, page 102-130. Springer, (1976)A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM.. Ada-Europe, volume 5026 of Lecture Notes in Computer Science, page 115-129. Springer, (2008)Decimal Arithmetic in Ada., , and . Ada-Europe, volume 603 of Lecture Notes in Computer Science, page 138-149. Springer, (1992)A Comparison of the Concurrency Features of Ada 95 and Java.. SIGAda, page 175-192. ACM, (1998)GNAT BoF: where would you like to see GNAT go?, and . SIGAda, page 139-140. ACM, (2008)MP1: languages for safety-critical software: issues and assessment.. SIGAda, page 7-8. ACM, (2008)From strawman to Ada 2005: a socio-technical retrospective.. SIGAda, page 13-14. ACM, (2008)A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java., and . Ada-Europe, volume 2655 of Lecture Notes in Computer Science, page 113-128. Springer, (2003)