Freelance
ID0002477: This issue was created automatically from Mantis Issue 2477. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002477 | Frama-C | Kernel > ACSL implementation | public | 2019-09-23 | 2019-09-23 |
| Reporter | michal | Assigned To | virgile | Resolution | no change required |
| Priority | immediate | Severity | text | Reproducibility | sometimes |
| Platform | windows7 | OS | windows7 | OS Version | windows7 |
| Product Version | Frama-C 19-Potassium | Target Version | - | Fixed in Version | - |
Description :
I'm staff at fieldengineer.com,we have a technical support of telecom engineers.We created the FE Platform to streamline engagement between field engineers and businesses looking for them.