People at Savannah: Reynald Affeldt profile
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
Open items assigned to Reynald Affeldt
Open items submitted by Reynald Affeldt
You could send a message if you were logged in.
Powered by Savane 3.16.
Corresponding source code
