Gobra

Summary

Gobra is a science project^[1].

Key Facts

• Gobra is the creator of Peter Müller^[2].
• Gobra is the creator of Linard Arquint^[3].
• Gobra is the creator of Felix A. Wolf^[4].
• Gobra is the creator of Martin Clochard^[5].
• Gobra is the creator of Wytse Oortwijn^[6].
• Gobra is the creator of João C. Pereira^[7].
• Gobra's instance of is recorded as science project^[8].
• Gobra's instance of is recorded as software^[9].
• Gobra's instance of is recorded as programming language^[10].
• Gobra's based on is recorded as Viper^[11].
• Gobra's based on is recorded as Separation Logic and Abstraction^[12].
• Gobra's logo image is recorded as Gobra logo orange positiv.png^[13].
• Gobra's copyright license is recorded as Mozilla Public License, version 2.0^[14].
• Gobra's software version identifier is recorded as 25.09^[15].
• Gobra's software version identifier is recorded as 26.02^[16].
• Gobra's official website is recorded as https://gobra.ethz.ch^[17].
• Gobra's source code repository URL is recorded as https://github.com/viperproject/gobra^[18].
• Gobra's author name string is recorded as Felix A. Wolf^[19].
• Gobra's author name string is recorded as Martin Clochard^[20].
• Gobra's author name string is recorded as Wytse Oortwijn^[21].
• Gobra's author name string is recorded as João C. Pereira^[22].
• Gobra's author name string is recorded as Nicolas Ray Klose^[23].
• Gobra's author name string is recorded as Dionisios Spiliopoulos^[24].
• Gobra's copyright status is recorded as copyrighted, dedicated to the public domain by copyright holder^[25].

Body

Works and Contributions

Created works include Peter Müller^[2], a computer scientist^[26], b. 1972^[27], of Germany^[28]; Linard Arquint^[3], a computer scientist^[29], of Switzerland^[30]; Felix A. Wolf^[4]; Martin Clochard^[5]; Wytse Oortwijn^[6]; and João C. Pereira^[7].