Updated the license

camrein · camrein · commit ac68923877a8 · 2021-09-17T08:41:36.000+02:00
diff --git a/LICENSE b/LICENSE
@@ -2,6 +2,7 @@ MIT License
 Copyright (c) 2016 Jonathan Rosca
 Copyright (c) 2017 Markus Schaden, Rafael Krucker
 Copyright (c) 2018 Institute for Software - University of Applied Science (HSR) Rapperswil
+Copyright (c) 2021 Christoph Amrein, K. Rustan M. Leino, Farhad Mehta; Correctness Lab, Institute for Software (IFS), OST Eastern Switzerland University of Applied Sciences; Amazon Web Services
 
 Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
 
