Amir and S. Shastry is an author at Tel Aviv University specializing in systems engineering, computer science, and software design.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
1979–1979
1
1