People at Savannah: Reynald Affeldt profile
Open items submitted by Reynald Affeldt
None found
Open items assigned to Reynald Affeldt
None found
General information
Id: | #46124 |
Display name: | Reynald Affeldt |
Login name: | reynald |
Email address: | -email is unavailable- |
Site member since: | Thu 15 Dec 2005 01:50:45 AM UTC |
This user did not enable Resume & Skills. |
Group membership
- Separation Logic in Coq
Member since Thu 15 Dec 2005 02:00:40 AM UTC
You could send a message if you were logged in.
Powered by Savane 3.14-50d9.
Corresponding source code