Sergii Liashenko

1 Patent

• US118224682023

  Executable Code Branch Annotations for Objective Branch Verification

  Microsoft Technology Licensing, LLC

  0 cites